- вывод (формулы)
-
вывод (формулы)
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
- энергетика в целом
EN
- derivation
- development
Справочник технического переводчика. – Интент. 2009-2013.
вывод формулы — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN development … Справочник технического переводчика
Формулы Байеса — Теорема Байеса одна из основных теорем элементарной теории вероятностей, которая определяет вероятность наступления события в условиях, когда на основе наблюдений известна лишь некоторая частичная информация о событиях. По формуле Байеса можно… … Википедия
Вывод — может употребляться в разных контекстах: Вывод проводник в составе электрического устройства, предназначенный для электрического соединения с другими устройствами Устройства ввода вывода класс устройств в типовой архитектуре ЭВМ Вывод результат… … Википедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки
вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… … Словарь терминов логики
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
Эйлера-Фурье формулы — формулы для вычисления коэффициентов разложения функции в тригонометрический ряд (ряд Фурье). Э. Ф. ф. названы по имени Л. Эйлера, давшего (1777) первый их вывод, и Ж. Фурье, систематически (начиная с 1811) пользовавшегося… … Большая советская энциклопедия
Момент инерции — Размерность L2M Единицы измерения СИ кг·м² СГС … Википедия